properties of Riemann integrals